double precision number - Deutsch Englisch Wörterbuch